1
Fondements de la logique séquentielle
MATH002Lesson 12
00:00
La transition de la logique combinatoire à la logique séquentielle introduit la dimension du temps, selon laquelle la sortie d'un circuit n'est plus une fonction uniquement des entrées actuelles, mais aussi de l'historique du système. Cette « mémoire » est physiquement et mathématiquement ancrée dans le retard unitaire, qui sert de bloc de construction fondamental pour tous les modèles computationnels basés sur l'état.

Circuits combinatoires vs. circuits séquentiels

Dans le domaine numérique, nous faisons la distinction entre les systèmes qui vivent dans le « maintenant » et ceux qui se souviennent du « alors ». :

  • Circuits combinatoires : Ils sont sans mémoire. Comme un interrupteur lumineux simple qui est soit en position haute, soit en position basse, la sortie dépend strictement des valeurs d'entrée actuelles.
  • Circuits séquentiels : Ils utilisent des boucles de rétroaction pour intégrer les entrées passées dans la prise de décision actuelle. Ils permettent ainsi de combler efficacement le fossé entre les portes logiques simples et les machines à états finis complexes.
Définition 12.1.1

Un retard unitaire est un composant élémentaire qui accepte en entrée un bit $x_t$ au temps $t$ et produit en sortie $x_{t-1}$, le bit reçu en entrée au temps $t-1$.

Le concept d'état

L'intégration de retards unitaires permet la création de état. L'agencement des bits stockés détermine la manière dont la machine répondra aux suites futures d'excitations. Sans cette séquençage, les calculs seraient limités à des évaluations statiques.

L'analogie de l'interrupteur inverseur

Imaginez un interrupteur numérique « inverseur » où un seul bouton allume et éteint une lampe. Un circuit combinatoire ne pourrait détecter que si le bouton est actuellement appuyé. Cependant, en utilisant un retard unitaire pour stocker l'état précédent de la lumière ($x_{t-1}$), un circuit séquentiel peut déterminer que si le bouton est pressé et que la lumière était auparavant éteinte ($x_{t-1}=0$), la nouvelle sortie doit être allumée ($x_t=1$).

🎯 Principe fondamental
En informatique, la mémoire est représentée mathématiquement par des retards. Un circuit séquentiel est essentiellement une logique combinatoire enfermée dans une boucle de rétroaction contenant des retards unitaires.